Compilation of Id
نویسندگان
چکیده
In this paper we illustrate, using the Id language, that both the operational semantics of a language and its compilation process can be formalized together. Id is a higher-order non-strict functional language augmented with I-structures and M-structures. The operational semantics of Id is given in terms of a smaller kernel language, called Kid. Kid is also the intermediate form used by the compiler to perform type checking and optimizations. Optimizations are described as extensions of Kid operational semantics. A criteria for correctness of optimizations is presented. P-TAC, a lower-level language, is introduced to capture some eeciency issues related to code generation. The salient features of translating Kid into P-TAC are presented.
منابع مشابه
Expressiveness and Data-Flow Compilation of OpenMP Streaming Programs
We present a dataow extension of OpenMP to express highly dynamic control and data ow over nested, dependent tasks. The language supports dynamic creation, modular composition, variable and unbounded sets of producers/consumers, separate compilation, and rstclass streams. These features, enabled by our original compilation ow, allow translating high-level parallel programming patterns, like dep...
متن کاملExecuting a Program on the MIT Tagged-Token Dataflow Architecture
The MIT Tagged-Token Dataflow project has an unconventional, but integrated approach to general-purpose high-performance parallel computing. Rather than extending conventional sequential languages, we use Id, a high-level language with fine-grained parallelism and determinacy implicit in its operational semantics. Id programs are compiled to dynamic dataflow graphs, a parallel machine language....
متن کاملSujet de these: ASPECTS THEORIQUES ET PRATIQUES DE L'INFERENCE DE TYPE ET D'EFFETS
ion To translate an abstraction the compiler rst compiles the body of the source FX abstraction Then if the lambda abstraction can be parallelized according to the predicate PF de ned below an f structure initialization is generated which pairs up the sequential version of the function generated by SC with its parallel version generated by PC presented in the next section SC lambda x te x ' let...
متن کاملCompilation of causal model of the relationship between academic perfectionism and academic proclivity of medical students: with the role of mediation of emotional self-awareness
Abstract Background and Aims: According to the important role of the psychological variables on students various dimensions of health and academic performance, The purpose of the present study was to Compilation of causal model of the relationship between academic perfectionism and academic proclivity of medical students with the role of mediation of emotional self-awareness. Methods: Correla...
متن کاملنقش باور دینی و سبک مدارا در پیش بینی سلامت عمومی مادران دارای کودک دچار ناتوانی ذهنی
Objective: The aim of this study was to compare the role of religiosity dimensions and coping styles in the predicting general health of mothers of children with and without intellectual disabilities (ID). Method: A total of 124 mothers of children with ID and 124 mothers without a child with ID were matched and selected using cluster sampling. Data were collected using general health ques...
متن کامل